Univalence Axiom (UA)

公理なので証明はされない

Univalence Axiom関連の動画

Univalence Axiom(UA)に関するいろいろな実装

Univalence Axiomの訳

uni-: 単一の

-valence: 原子価

Axiom: 原理、(数学、論理学)公理、公準

Univalence Axiomなのでそのまま訳すと一価公理となりそう

ChatGPTに聞いたら同値性公理と訳してくれた

個人的には同値性公理の方がなんのことかわかりやすくはある

univalent: 一価

uni-: 単一の

-valent: …(原子)価の

語源: ラテン語「…の力を持つ」

定義

$ (A = B) ≃ (A ≃ B)

$ \text{equiv-eq} : (A = B) ≃ (A ≃ B)

確認用

Q. Univalence Axiom

Q. 何がうれしいか

関連

参考